-- Expected output: true
DEF MAIN:bool == lt(2, 5)

